( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
General Quantitative Specification Theories with Modalities.

, , , и . CSR, том 7353 из Lecture Notes in Computer Science, стр. 18-30. Springer, (2012)

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.

Georges S Bauer

Jan S Bauer

Sebastian Bauer

Sebastian Bauer

Sebastian Bauer

 

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

SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model., , и . LASER Summer School, том 6029 из Lecture Notes in Computer Science, стр. 41-90. Springer, (2008)A contract-based approach to adaptivity., , и . J. Log. Algebraic Methods Program., 80 (3-5): 180-193 (2011)Quantitative Refinement for Weighted Modal Transition Systems., , , , , и . MFCS, том 6907 из Lecture Notes in Computer Science, стр. 60-71. Springer, (2011)Weighted Modal Transition Systems, , , , , и . CoRR, (2012)A Modal Specification Theory for Components with Data., , , , и . FACS, том 7253 из Lecture Notes in Computer Science, стр. 61-78. Springer, (2011)Weighted modal transition systems., , , , , и . Formal Methods Syst. Des., 42 (2): 193-220 (2013)A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata., , , , и . TASE, стр. 77-84. IEEE Computer Society, (2012)General Quantitative Specification Theories with Modalities., , , и . CSR, том 7353 из Lecture Notes in Computer Science, стр. 18-30. Springer, (2012)Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude, , и . RTRTS, том 36 из EPTCS, стр. 1-25. (2010)Behaviour Protocols for Interacting Stateful Components., , и . FACS@FMWeek, том 263 из Electronic Notes in Theoretical Computer Science, стр. 47-66. Elsevier, (2009)