( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

, , , , , и . CoRR, (2017)

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.

Martina Christine Scotti

Pierre-François Scotto

Peter Scott

Horst Smolka

Ernst Smolka

 

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

Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives., и . IEEE Trans. Software Eng., 9 (4): 446-462 (1983)Strategic Directions in Computing Research-Concurrency Working Group Report., и . Bulletin of the EATCS, (1996)Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study., , , , и . AMAST, том 1349 из Lecture Notes in Computer Science, стр. 185-198. Springer, (1997)Distributed prototyping from validated specifications., , и . J. Syst. Softw., 70 (3): 275-298 (2004)Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking., , , и . Int. J. Softw. Tools Technol. Transf., 4 (4): 505-528 (2003)On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes., и . Algorithmica, (1988)A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication., и . ICPP (3), стр. 311-318. Pennsylvania State University Press, (1990)0-271-00728-1.Specification and evaluation of logic-based model checking., , , и . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 73-74 (2000)A complete axiom system for finite-state probabilistic processes., и . Proof, Language, and Interaction, стр. 571-596. The MIT Press, (2000)A CCS semantics for NIL., и . Formal Description of Programming Concepts, стр. 347-376. North-Holland, (1987)