( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Determining the Specification of a Control System: An Illustrative Example.

. RODIN Book, том 4157 из Lecture Notes in Computer Science, стр. 114-132. Springer, (2006)

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.

Joey Buschmann

John Derek Coleman

Joey-David Ovey

John Coleman Darnell

Sabine Maria Coleman

 

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

Migrating to an Extensible Architecture for Abstract Syntax Trees., , , и . WICSA, стр. 145-154. IEEE Computer Society, (2015)Expression Decomposition in a Rely/Guarantee Context.. VSTTE, том 5295 из Lecture Notes in Computer Science, стр. 146-160. Springer, (2008)A Structural Proof of the Soundness of Rely/guarantee Rules., и . J. Log. Comput., 17 (4): 807-841 (2007)A Secure Dynamic Collaboration Environment in a Cloud Context., , , , и . CLOSER, стр. 406-415. SciTePress, (2013)Determining the Specification of a Control System: An Illustrative Example.. RODIN Book, том 4157 из Lecture Notes in Computer Science, стр. 114-132. Springer, (2006)Semantics of Co-simulation., , и . Collaborative Design for Embedded Systems, Springer, (2014)Atomicity: A Unifying Concept in Computer Science., и . J. Univers. Comput. Sci., 13 (8): 1042-1043 (2007)A secure dynamic collaboration environment in a cloud context., , , , и . Future Gener. Comput. Syst., (2016)