Formal specification of asynchronous distributed real-time systems by APTL

Uloženo v:
Podrobná bibliografie
Vydáno v:ICSE 92: 14th International Conference on Software Engineering s. 188 - 198
Hlavní autoři: Wang, Farn, Mok, Al, Emerson, E. Allen
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: New York, NY, USA ACM 01.06.1992
Edice:ACM Conferences
Témata:
Software and its engineering > Software notations and tools > Formal language definitions > Semantics
Theory of computation > Logic
Theory of computation > Logic > Programming logic
Theory of computation > Models of computation > Computability
Theory of computation > Semantics and reasoning
Theory of computation > Semantics and reasoning > Program reasoning
Theory of computation > Semantics and reasoning > Program semantics
ISBN:9780897915045, 0897915046
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Bibliografie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780897915045
0897915046
DOI:10.1145/143062.143113