A Framework for An LTS Semantics for PROMELA

A Framework for An LTS Semantics for PROMELA

A high-level specification language PROMELA can be used not only to model interactions that occur in distributed or reactive systems, but also to express requirements of logical correctness about those interactions. Several approaches to a formal semantics for PROMELA have been presented, ranging fr...

Saved in:

書目詳細資料
Main Authors:	Suprapto, Suprapto, Pulungan, Reza
格式:	Conference or Workshop Item PeerReviewed
語言:	English
出版:	2011
主題:	Makalah prosiding
在線閱讀:	https://repository.ugm.ac.id/35114/1/SP-SEAMS-11.pdf https://repository.ugm.ac.id/35114/
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

A Scheme of Construct Association from PROMELA to Java
由: Suprapto, Suprapto, et al.
出版: (2013)

"SemanticLIFE" – A FRAMEWORK FOR MANAGING INFORMATION OF A HUMAN LIFETIME
由: Ahmed, Mansoor, et al.
出版: (2004)

The Order of Phase-Type Distributions
由: Pulungan, Reza
出版: (2011)

Kerentanan Keamanan WIMAX Mobile dan solusinya
由: Kurniawan, Helmi, et al.
出版: (2011)

Analisis Kinerja Beberapa Algoritma Load Balancing
由: Kurniawan, Helmi, et al.
出版: (2011)

Arsitektur, Keamanan dan Pasar WiMAX
由: Kurniawan, Helmi, et al.
出版: (2011)

Membandingkan Analisa Traffic antara WireShark dan NMap
由: Rosnelly, Rika, et al.
出版: (2011)

Semantic Enrichment of Search Result: the Coupling of Semantic Store and Google Services
由: Mustofa, Khabib, et al.
出版: (2006)

Aplikasi DTMC Untuk Post Proses Pengenalan Citra Dokumen Teks
由: Widiarti, Anastasia Rita, et al.
出版: (2012)

An Approach for a Personal Information Management System for Photos of a Lifetime by Exploiting Semantics
由: Khalid, Latif, et al.
出版: (2006)

Modularity Framework as a New Software Framework in Enhancing Modularity in Open Source Projects
由: Emanuel, Andi Wahju Rahardjo, et al.
出版: (2009)

Building Ontology-Based Annotations for Personal Information Management Systems – The SemanticLIFE Design and Implementation Case
由: Mustofa, Khabib, et al.
出版: (2006)

FRAMEWORK KNOWLEDGE MANAGEMENT UNTUK PERGURUAN TINGGI
由: Syafei, Henderi, et al.
出版: (2014)

Power Flow Study of Untransposed Transmission Lines
由: Pulungan, Ali Basrah, et al.
出版: (2007)

A Software Development Model for Localization Systems
由: widyawan, widyawan
出版: (2009)

A Bayesian Approach for RF-Based Indoor Localisation
由: Widyawan, Widyawan
出版: (2007)

A Simulation of Electromagnetic field Exposure to Biological Tissues
由: Warindi, Warindi, et al.
出版: (2010)

A Platform for an Inter-Working of Embedded Localisation and Communication Systems
由: Widyawan, Widyawan
出版: (2009)

A Novel Backtracking Particle Filter for PatternMatching Indoor Localization
由: Widyawan, Widyawan
出版: (2008)

A Survey on Model Selection in Neural Networks for Prediction and Classification Problems
由: Subanar, Subanar
出版: (2006)

A Backtracking Particle Filter for Fusing Building Plans with PDR Displacement Estimates
由: Widyawan, Widyawan
出版: (2008)

Adaptive Motion Model for a Smart Phone Based Opportunistic Localization System
由: Widyawan, Widyawan
出版: (2009)

A Simulation Model of Blood Supply Chain at Indonesian Regional Red-Cross
由: Suwardie, Aditya W., et al.
出版: (2013)

Indonesian Urban Electrification A Case of 500 kV EHV Jamali System
由: Sugiarto, Sugiarto, et al.
出版: (2011)

Simulation of a Dam Break Triggered Flood, the Case of Situ Gintung Disaster on March 27, 2009
由: Rahardjo, Adam Pamudji, et al.
出版: (2009)

The Use of Cow as An Electric and Thermal Power Generation in Remote Area as A Solution to Realize The Village Self-Reliant Energy Program in Indonesia
由: Samsul Kamal, Samsul Kamal
出版: (2011)

Effect of Moisture Content and Aeration on Composting of Tea Waste
由: Karyadi, Joko Nugroho Wahyu, et al.
出版: (2011)

Optimization Air Supply on Cattle Manure Composting in Packed-Bed Reactor
由: Karyadi, Joko Nugroho Wahyu, et al.
出版: (2011)

Functional Morphology of Deposit Feeder Bivalve Theora lata (Bivalvia: Semelidae)
由: Ambarwati, Reni, et al.
出版: (2011)

Morfological Characters of Suspension Feeder Bivalve Potamocorbulaca faba (Bivalvia: Corbulidae)
由: Ambarwati, Reni, et al.
出版: (2011)

Flash Flood Flow Simulation, the case of Situ Gintung Dam Failure Indonesia
由: Rahardjo, Adam Pamudji, et al.
出版: (2011)

The Impact of Built Islands on Maximum Water Level at River Mouths in West Part of Jakarta Cost
由: Rahardjo, Adam Pamudji, et al.
出版: (2011)

Development of Collaborative-Based of Lahar Flow Early Warning System for Code River in Yogyakarta
由: Legono, Djoko, et al.
出版: (2011)

Kekerasan dan laju keausan komposit aluminium diperkuat dengan keramik Zirconia yang dibuat dengan metode metalurgi serbuk
由: Bayu, S.W, et al.
出版: (2011)

Pengaruh kadar tambang (Cu) terhadap sifat mekanis aluminium matrix composite berpenguat alumina dibuat secara ekstruksi
由: Subarmono, Subarmono, et al.
出版: (2011)

Pola Aliran Couette-Taylor dengan Aliran Aksial
由: Prajitno, Prajitno, et al.
出版: (2011)

KERANGKA SISTEM PENGUKURAN INTERNET SEBAGAI REKOMENDASI PENYEDIA DAN PENGGUNA INTERNET
由: Sugeng, Winarno, et al.
出版: (2011)

Analisis Fisis Kerja Mikrofon Dinamik
由: Mitrayana, ., et al.
出版: (2011)

Spektrum serapan cahaya tampak lapisan tipis poly (3,4-ethylenedioxy-thiophene): poly (styrenesulfonate) untuk aplikasi sensor gas amoniak
由: Aba, La, et al.
出版: (2011)

"Distribusi Konsentrasi dan Kecepatan Gelembung Udara pada Kondisi Pemasukan Udara Alamiah (Self Air Entrainment) di Saluran Curam."
由: Yeri Sutopo, author 1, et al.
出版: (2011)