Výsledky vyhledávání - "Theory of computation Models of computation Concurrency Process calculi"

A static verification framework for message passing in Go using behavioural types Autor Lange, Julien, Ng, Nicholas, Toninho, Bernardo, Yoshida, Nobuko

“…The Go programming language has been heavily adopted in industry as a language that efficiently combines systems programming with concurrency. Go's concurrency…”
Získat plný text

Compositional verification of self-adaptive cyber-physical systems Autor Borda, Aimee, Pasquale, Liliana, Koutavas, Vasileios, Nuseibeh, Bashar

“…Cyber-Physical Systems (CPSs) must often self-adapt to respond to changes in their operating environment. However, using formal verification techniques to…”
Získat plný text