Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Talcott, C.L."'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Formal Methods for Open Object-Based Distributed Systems IV ISBN: 9781475710182
FMOODS
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA, 121-140
STARTPAGE=121;ENDPAGE=140;TITLE=Formal Methods for Open Object-Based Distributed Systems IV
FMOODS
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA, 121-140
STARTPAGE=121;ENDPAGE=140;TITLE=Formal Methods for Open Object-Based Distributed Systems IV
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler semantics than an implementation level model. Our semantics is an adapta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::deff42a4f80fed16da702ee93a3e6a85
https://doi.org/10.1007/978-0-387-35520-7_6
https://doi.org/10.1007/978-0-387-35520-7_6
Publikováno v:
2008 International Symposium on Collaborative Technologies & Systems; 2008, p127-134, 8p
Autor:
Mason, I.A., Talcott, C.L.
Publikováno v:
1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science; 1992, p186-197, 12p
Autor:
Mason, I.A., Talcott, C.L.
Publikováno v:
Theoretical Computer Science; 1999, Vol. 220 Issue: 2 p409-467, 59p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.