Temat: metody formalne - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "metody formalne" wg kryterium: Temat

Wyświetlanie 1-7 z 7

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Specyfikacja formalna protokołów prostych magistral polowych
Formal specyfication of small fieldbus protocols
Autorzy:: Pelc, L.
Trybus, L.
Data publikacji:: 2005
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: protokoły polowe
metody formalne
język LOTOS
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Prototyping self-healing behavior for NASA swarm-based systems with ASSL
Autorzy:: Vassev, Emil
Hinchey, Mike
Data publikacji:: 2021
Wydawca:: Politechnika Gdańska
Tematy:: intelligent swarms
formal methods
autonomic computing
ASSL
ANTS
inteligentne roje
metody formalne
obliczenia autonomiczne
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Concurrent systems modeling with CCL
Modelowanie systemu w CCL
Autorzy:: Kułakowski, K.
Data publikacji:: 2012
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Timed concurrent state machines
Współbieżne maszyny stanowe z czasem
Autorzy:: Daszczuk, W. B.
Data publikacji:: 2007
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: metody formalne
weryfikacja modelowa
weryfikacja w czasie rzeczywistym
automaty czasowe
formal methods
model checking
real time verification
Timed Automata
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: From formal methods to implementation based on Petri Nets model of concurrent systems
Od metod formalnych do implementacji na przykładzie modelu w sieci Petriego systemu współbieżnego
Autorzy:: Wojciechowski, J.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sieci Petriego
metody formalne
rzutowanie
modele klas w Java
procedury w języku C
Petri nets
formal methods
mapping
C language
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Functional safety verification of train control procedure in train-centric CBTC by colored Petri net
Autorzy:: Lin, Junting
Xu, Qian
Data publikacji:: 2020
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: train control procedure
Train-centric CBTC
functional safety
formal methods
colored Petri net
procedura kontroli pociągu
sterowanie pociągiem
bezpieczeństwo funkcjonalne
metody formalne
sieci Petriego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:: Kaczmarek, Janusz
Data publikacji:: 2019
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-7 z 7

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.