From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Specification Patterns for Robotic Missions., , , , и . CoRR, (2019)Self-Adaptive Testing in the Field., , и . ACM Trans. Auton. Adapt. Syst., 19 (1): 4:1-4:37 (марта 2024)CHARMY: A Framework for Designing and Verifying Architectural Specifications., , и . IEEE Trans. Software Eng., 35 (3): 325-346 (2009)Correct-by-Construction Design of Contextual Robotic Missions Using Contracts., , , , и . CoRR, (2023)POPEYE, a Peer-to-peer Collaborative Working Environment over Mobile Ad-hoc Networks, , и . In proceeding of the International Conference eChallenges e2008, (22 - 24 October 2008)Using UML for SA-based Modeling and Analysis, , , , и . Proceedings of the Int. Workshop on Software Architecture Description and UML., (октября 2004)Workshops summaries: EFTS 2007: the 2nd international workshop on engineering fault tolerant systems, , , и . Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering ESEC-FSE '07, ACM press, (2007)AN INTRODUCTION TO SOFTWARE ENGINEERING AND FAULT TOLERANCE, , , и . глава SOFTWARE ENGINEERING OF FAULT TOLERANT SYSTEMS, Series on Software Engineering and Knowledge Eng., (2007)The Fault-Tolerant Insulin Pump Therapy, , и . Workshop on Rigorous Engineering of Fault Tolerant Systems Event Information, in conjunction with Formal Methods 2005, (18-22 July 2005)INTERO: An Interoperability Model for Large Systems., , и . IEEE Software, 37 (3): 38-45 (2020)