Kansikuva

Conformance verification of finite state machines based on machine inference and model checking

Thesis (Ph.D.)--Chulalongkorn University, 2012

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Warawoot Pacharoen (Tekijä)
Muut tekijät:	Athasit Surarerks (Avustaja), Pattarasinee Bhattarakosol (Avustaja), Chulalongkorn University. Faculty of Engineering (Avustaja)
Aineistotyyppi:	Kirja
Julkaistu:	Chulalongkorn University, 2013-11-26T04:28:15Z.
Aiheet:	Thesis
Linkit:	http://cuir.car.chula.ac.th/handle/123456789/36723
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
Tekijä: Lochbihler, Andreas
Julkaistu: (2012)

Hierarchical deep compartment modeling: A workflow to leverage machine learning and Bayesian inference for hierarchical pharmacometric modeling
Tekijä: Ahmed Elmokadem, et al.
Julkaistu: (2024)

A measurement study of the environmental quality and medical expenditures of elderly individuals: causal inference based on machine learning
Tekijä: Yu Zhang, et al.
Julkaistu: (2024)

Development and Validation of a Closed-Loop Functional Electrical Stimulation-Based Controller for Gait Rehabilitation Using a Finite State Machine Model
Tekijä: Naoki Hayami, et al.
Julkaistu: (2022)

Construction and verification of atopic dermatitis diagnostic model based on pyroptosis related biological markers using machine learning methods
Tekijä: Wenfeng Wu, et al.
Julkaistu: (2023)

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation
Tekijä: Breitner, Joachim
Julkaistu: (2016)

AR4FSM: Mobile Augmented Reality Application in Engineering Education for Finite-State Machine Understanding
Tekijä: Muhammad Nadeem, et al.
Julkaistu: (2022)

Using Smartphone Sensor Paradata and Personalized Machine Learning Models to Infer Participants' Well-being: Ecological Momentary Assessment
Tekijä: Alexander Hart, et al.
Julkaistu: (2022)

KECERDASAN BUATAN PADA AUTOMATION BOT MULTIPLAYER GAME DENGAN FINITE-STATE MACHINE DAN FUZZY LOGIC
Tekijä: Fibrianto, Rizqi Ahmad
Julkaistu: (2013)

IMPLEMENTASI FINITE STATE MACHINE DALAM SIMULASI PERILAKU SISWA BERDASARKAN BIG FIVE PERSONALITY PADA TEACHING SIMULATOR
Tekijä: M Eagan Ramadhan, -
Julkaistu: (2019)

RANCANG BANGUN GAME EDUKASI UNTUK PENGENALAN KEBUDAYAAN KAMPUNG NAGA MENGGUNAKAN METODE FINITE STATE MACHINE (FSM)
Tekijä: Muhammad Ikhsan Nurulfalaah, -
Julkaistu: (2022)

Machining: State-of-the-Art 2022
Julkaistu: (2023)

X-Machines for Agent-Based Modeling FLAME Perspectives
Tekijä: Kiran, Mariam
Julkaistu: (2017)

X-Machines for Agent-Based Modeling FLAME Perspectives
Tekijä: Kiran, Mariam
Julkaistu: (2017)

Model Flying Machines
Tekijä: Morgan, Alfred Powell, 1889-1972

The Machine as Art/ The Machine as Artist
Julkaistu: (2020)

Personal Health Information Inference Using Machine Learning on RNA Expression Data from Patients With Cancer: Algorithm Validation Study
Tekijä: Kweon, Solbi, et al.
Julkaistu: (2020)

Development and verification of machine learning model based on anogenital distance, penoscrotal distance, and 2D:4D finger ratio before puberty to predict hypospadias classification
Tekijä: Zirong He, et al.
Julkaistu: (2024)

Inference of Brain States Under Anesthesia With Meta Learning Based Deep Learning Models
Tekijä: Qihang Wang, et al.
Julkaistu: (2022)

The Machine
Tekijä: Sinclair, Upton, 1878-1968

Machines
Tekijä: Isabelle von Bueltzingsloewen
Julkaistu: (1997)

Machine
Julkaistu: (2019)

Machine
Julkaistu: (2019)

The impact of data quality and source data verification on epidemiologic inference: a practical application using HIV observational data
Tekijä: Mark J. Giganti, et al.
Julkaistu: (2019)

Machine learning-based prediction model for the efficacy and safety of statins
Tekijä: Yu Xiong, et al.
Julkaistu: (2024)

Modelling and Control of Switched Reluctance Machines
Julkaistu: (2020)

Modelling and Control of Switched Reluctance Machines
Julkaistu: (2020)

Magnetic Material Modelling of Electrical Machines
Julkaistu: (2023)

Mathematical Models for the Design of Electrical Machines
Julkaistu: (2021)

Modelling and Control of Switched Reluctance Machines
Julkaistu: (2020)

Machine Learning Algorithms, Models and Applications
Julkaistu: (2021)

Bioinformatics Applications Based On Machine Learning
Julkaistu: (2021)

The Time Machine
Tekijä: Wells, H. G. (Herbert George), 1866-1946

The Human Machine
Tekijä: Bennett, Arnold, 1867-1931

The Success Machine
Tekijä: Slesar, Henry, 1927-2002

The Dueling Machine
Tekijä: Bova, Ben, 1932-2020; Lewis, Myron R.; Schoenherr, John, 1935-2010 [Illustrator]

The Machine That Floats
Tekijä: Gibson, Joe; McCauley, Harold W. (Harold William), 1913-1977 [Illustrator]

Machine Learning
Julkaistu: (2009)

Rotating Machines
Julkaistu: (2022)

Machine Learning
Julkaistu: (2010)