Book Chapter10.1007/978-94-009-1063-8_71

Systematic Design of Telecommunication Systems Using Formal Description Techniques

Jeroen Schot-1989-01-01

2

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

CorrectnessComputer scienceFormal methodsDesign methodsSystems designSoftware engineeringSystems engineeringProgramming language

Chat

Click to start Chat