Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Advances in Computing Science - ASIAN' 97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings > Software specification using LASS
Advances in Computing Science - ASIAN' 97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings |
R.K. Shyamasundar; Kazunori Ueda
Springer Berlin Heidelberg
Advances in Computing Science - ASIAN' 97: Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings
Software specification using LASS
Authors

Mihal Badonski; Mirjana Ivanovic; Zoran Budimac

ARI Id

1665006490930_4438008

Access

Not Available Free

Pages

375-376

DOI

10.1007/3-540-63875-X_69

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-63875-X_69

Table of Contents of Book
Showing 1 to 20 of 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Correctness of programs and protocols through randomization
Michael O. Rabin
1-3
Medical image analysis and simulation
Nicholas Ayache
4-17
Verification of pipelined microprocessors by comparing memory execution sequences in symbolic simulation
Randal E. Bryant; Miroslav N. Velev
18-31
Rules for abstraction
Stephan Merz
32-45
Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems
Robert Büssow; Wolfgang Grieskamp
46-56
Rules for trace consistent reasoning
R. Ramanujam
57-71
Sensitivity analysis of real-time task sets
Sasikumar Punnekkat; Rob Davis; Alan Burns
72-82
Dynamic multiprocessor scheduling for supporting real-time constraints
Shin-Mu Tseng; Y. H. Chin; Wei-Pang Yang
83-97
Heuristic Diff Acquiring in lazy release consistency model
Zhiyi Huang; Wan-Ju Lei; Chengzheng Sun; Abdul Sattar
98-109
Representation of discretely controlled continuous systems in software-oriented formal analysis
Tetsuya Mizutani; Shigeru Igarashi; Kohji Tomita; Masayuki Shio
110-120
A generalised framework for reasoning with multi-point events
R. Wetprasit; A. Sattar; L. Khatib
121-135
Implementing constraint retraction for finite domains
Yan Georget; Philippe Codognet; Francesca Rossi
136-150
INSTANCE: The intermediate storage node concept
Thomas Plagemann; Vera Goebel
151-165
Checking hybrid automata for linear duration invariants
Li Xuandong; Dang Van Hung; Zheng Tao
166-180
Hierarchical automata as model for statecharts
Erich Mikk; Yassine Lakhnechi; Michael Siegel
181-196
Proof discovery in LK system by analogy
Masateru Harao
197-211
Efficient induction of executable logic programs from examples
Nobuhiro Inuzuka; Hirohisa Seki; Hidenori Itoh
212-224
Automated verification of behavioural properties of prolog programs
B. Le Charlier; C. Leclère; S. Rossi; A. Cortesi
225-238
Typing the use of resources in a concurrent calculus
Gérard Boudol
239-253
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings