Nondeterministic Modal Interfaces-Reference-Cited by-同舟云学术

Nondeterministic Modal Interfaces

Published:2015 Issue: Volume: Page:152-163
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bujtor Ferenc,Fendrich Sascha,Lüttgen Gerald,Vogler Walter

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-46078-8_13

Reference18 articles.

1. Lecture Notes in Computer Science;S.S. Bauer,2012

2. Lecture Notes in Computer Science;S.S. Bauer,2010

3. Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T.A., Larsen, K.G.: Contracts for system design. Tech. Rep. 8147, INRIA (November 2012)

4. Beyer, D., Chakrabarti, A., Henzinger, T.A., Seshia, S.A.: An application of web-service interfaces. In: ICWS, pp. 831–838. IEEE (2007)

5. Bujtor, F., Fendrich, S., Lüttgen, G., Vogler, W.: Nondeterministic modal interfaces. Tech. Rep. 2014-06, Institut für Informatik, Universität Augsburg (2014)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Algebra of Deterministic Propositional Acceptance Automata (DPAA);2020 Forum for Specification and Design Languages (FDL);2020-09-15

2. Unifying modal interface theories and compositional input/output conformance testing;Science of Computer Programming;2019-03

3. A generalised theory of Interface Automata, component compatibility and error;Acta Informatica;2018-04-17

4. Contracts for System Design;Foundations and Trends® in Electronic Design Automation;2018

5. Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing;Formal Aspects of Component Software;2017