Coalgebraic component specification and verification in RSL

Sun Meng, Bernhard Aichernig, Zhang Naixiao

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalspracheenglisch
TitelInternational Conference on Parallel and Distributed Computing, Applications and Technologies
Herausgeber (Verlag)IEEE Computer Society
Seiten424-426
PublikationsstatusVeröffentlicht - 2005
VeranstaltungInternational Conference on Parallel and Distributed Computing, Applications and Technologies - Dalian, China
Dauer: 5 Dez. 2005 → 8 Dez. 2005

Konferenz

KonferenzInternational Conference on Parallel and Distributed Computing, Applications and Technologies
Land/GebietChina
OrtDalian
Zeitraum5/12/05 → 8/12/05

  • Formale Methoden

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Projekt: Arbeitsgebiet

Dieses zitieren