Back to Results
First PageMeta Content
Uppaal Model Checker / Transmission Control Protocol / Server / Internet protocol suite / Model checking / DBm / Client-side / Computing / Science / Model checkers / Clock / Horology


Providing Timing Computations for FUJABA∗ Tobias Eckardt, Christian Heinzemann Software Engineering Group, Heinz Nixdorf Institute University of Paderborn Warburger Str. 100
Add to Reading List

Document Date: 2011-11-08 14:36:47

Open Document

File Size: 327,30 KB

Share Result on Facebook

City

Trento / Paderborn / Berlin / Zündorf / Helsinki / London / Grenoble / /

Company

Designing Software-Intensive Systems / Architecting Critical Systems / ACM Press / CONCUR / Proceedings / /

Country

Germany / France / Netherlands / Italy / United Kingdom / Finland / /

/

Facility

University of Paderborn / Langston University / UDBM library / Heinz Nixdorf Institute University of Paderborn Warburger Str. / Eindhoven University of Technology / Uppaal DBM library / The Uppaal DBM library / /

IndustryTerm

realtime systems / client/server / real-time characteristics / computing / real-time systems / /

Organization

University of Paderborn / Collaborative Research Center / Heinz Nixdorf Institute University of Paderborn Warburger Str. / Langston University / European Union / Eindhoven University of Technology / European Regional Development Fund / /

Person

P. F. Tiako / V. Gorp / M. Hirsch / V / /

Position

editor / guard / time guard / interpreter / Programmer / /

ProgrammingLanguage

Java / Ruby / C++ / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Java / operating system / operating systems / DBMs / client/server / TCP/IP / pdf / /

URL

http /

SocialTag