Derivation and Formal Verification of a Mode Logic for Layered Control Systems
Prokhorova, Y., Laibinis, L., Troubitsyna, E., Varpaaniemi, K., Latvala, T.
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Published in 2011 18th Asia-Pacific Software Engineering Conference (01.12.2011)
Get full text
Conference Proceeding
A Case Study: Applying Lyra in Modeling S60 Camera Functionality
Honkola, J., Leppanen, S., Rinne-Rahkola, P., Soderlund, M., Turunen, M., Varpaaniemi, K.
Published in 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) (01.03.2007)
Published in 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) (01.03.2007)
Get full text
Conference Proceeding