Formal correctness, safety, dependability, and performance analysis of a satellite
Esteve, M., Katoen, J-P, Viet Yen Nguyen, Postma, B., Yushtein, Y.
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)
Published in 2012 34th International Conference on Software Engineering (ICSE) (01.06.2012)
Get full text
Conference Proceeding
Supporting UML-based development of embedded systems by formal techniques
Hooman, Jozef, Kugler, Hillel, Ober, Iulian, Votintseva, Anjelika, Yushtein, Yuri
Published in Software and systems modeling (01.05.2008)
Published in Software and systems modeling (01.05.2008)
Get full text
Journal Article