Back to Results
First PageMeta Content
Software / Diagram / Software development process / Model checking / B-Method / Formal specification / Dependability / Formal methods / Software development / Science


Document Date: 2006-11-21 08:16:02

Open Document

File Size: 2,22 MB

Share Result on Facebook

City

Zurich / Tyne / /

Company

Nokia / AT Engine Controls Ltd / /

Country

United Kingdom / Finland / /

Facility

University of Newcastle / University of Southampton / Aabo Akademi University / Ambient Campus / /

IndustryTerm

given network / dependable ambient intelligence applications / multi-agent ambient systems / ambient systems / communication protocols / failure management systems / model checking tool / telecommunication systems / model checking tools / /

OperatingSystem

Aix / /

Organization

Success SS1 SS2 SSN-1 SS3 SSN SS1 SS2 SSN-1 SS3 SSN Service / European Union / Aabo Akademi University / University of Southampton / University of Newcastle / Success SS1 SS2 SSN-1 SS3 SSN Service / /

Person

Marina Waldén / Alexander Romanovsky / Maciej Koutny / Dubravka Ilic / Mike Poppleton / Colin Snook / Sari Leppänen / Ian Oliver / Alex Iliasov / Elena Troubitsyna / /

Position

Director of Service / Case Study Development Editor / Director for the Service Distribution phase of Service / service director / Mediator / Director / Service / Major / Requirement Manager / Director a Service / Director Service / /

ProgrammingLanguage

Java / /

PublishedMedium

Complex Systems / /

Technology

cellular telephone / FORMAL APPROACHES IN PROTOCOL / Java / RODIN technology / communication protocols / /

URL

http /

SocialTag