Back to Results
First PageMeta Content
Communicating sequential processes / Enterprise modelling / Behavior Trees / Actor model / Model checking / Process calculus / Concurrent computing / Process calculi / Computing


Open Document

File Size: 234,59 KB

Share Result on Facebook

Country

Australia / /

/

Facility

Electrical Engineering University of Queensland / /

/

IndustryTerm

formal semantics and tool / placed food / larger systems / /

Organization

University of Queensland / School of Information Technology / /

/

Position

requirements model for inconsistencies and incompleteness / /

ProvinceOrState

Queensland / /

Technology

Microwave / Information Technology / /

SocialTag