MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Jan van Katwijk" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Experiences using PAISLey for real-time specification
by Jan van Katwijk, Hans Toetenel — 1995
…Experiences using PAISLey for real-time specification Report 95-29 Jan van Katwijk Hans Toetenel…
Add To MetaCart

On-Line Change Mechanisms the Software Architectural Level
by Sylvia Stuurman, Jan Van Katwijk — 1998 — In Proc. of the ACM SIGSOFT Int’l Symposium on Foundations of Software Engineering
…On-Line Change Mechanisms the Software Architectural Level Sylvia Stuurman, Jan van Katwijk…
Cited by 5 (0 self) – Add To MetaCart

Evaluation of Software Architectures for a Control System: A Case Study
by Sylvia Stuurman, Jan Van Katwijk — 1997 — Second International Conference on Coordination Models, Languages and Applications (Coordination'97
…Evaluation of Software Architectures for a Control System: A Case Study Sylvia Stuurman and Jan van…
Cited by 2 (0 self) – Add To MetaCart

An Astral specification for a railroad controller
by Leon Bun, Jan van Katwijk — 1995
…An Astral specification for a railroad controller Report 95-104 Leon Bun Jan van Katwijk Technische…
Cited by 1 (1 self) – Add To MetaCart

Collider, Satellites, and Tanks Combined: On Grand Challenges for Real-Time Mission-Critical Systems
by Jan van Katwijk, Jean-Jacques Schwarz, Janusz Zalewski
…-Critical Systems Jan van Katwijk Jean-Jacques Schwarz Janusz Zalewski Delft University of Technology INSA Lyon…
Add To MetaCart

Practice Of Real-Time Software Architectures: Collider, Satellites And Tanks Combined
by Jan van Katwijk, Jean-Jacques Schwarz, Janusz Zalewski — 2001 — Collider, Satellites and Tanks Combined, Proc. IFAC Conference on New Technologies for Computer Control, Hong Kong, P.R. of
…PRACTICE OF REAL-TIME SOFTWARE ARCHITECTURES: COLLIDER, SATELLITES AND TANKS COMBINED Jan van…
Cited by 2 (2 self) – Add To MetaCart

A New Benchmark for Distributed Real-Time Systems: Some Experimental Results
by Dahai Guo, Jan van Katwijk, Janusz Zalewski — Proc. 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming, Łagów
…A New Benchmark for Distributed Real-Time Systems: Some Experimental Results Dahai Guo 1 , Jan van…
Cited by 2 (1 self) – Add To MetaCart

Formal Specification of a Safety Shell in Real-Time Control Practice
by Abd-el-kader Sahraoui, Eric Anderson, Jan van Katwijk, Janusz Zalewski — 2000
…) , Eric Anderson 2y) Jan van Katwijk 3) , Janusz Zalewski 2) 1) PATH/ITS, University of California…
Cited by 1 (0 self) – Add To MetaCart

A simple railroad controller: A case study in real-time specification
by Ton Biegstraaten, Klaas Brink, Jan van Katwijk, Hans Toetenel — 1994
… Klaas Brink Jan van Katwijk Hans Toetenel Technische Universiteit Delft Delft University of Technology…
Cited by 2 (2 self) – Add To MetaCart

SVDM: An Integrated Combination of SA and VDM
by Peter Gorm Larsen, Jan van Katwijk, Nico Plat, Kees Pronk, Hans Toetenel — 1991 — In Proc. Methods Integration Workshop
…SVDM: An Integrated Combination of SA and VDM Peter Gorm Larsen Jan van Katwijk Nico Plat Kees…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB